Definition des
... ... ... OperateurDeLaminoir (*)
Zerstarten